order bounded set

有序有界集